Nuprl Lemma : int_upper_wf
13,42
postcript
pdf
n
:
. {
n
...}
Type
latex
Up
int
1
,
int
1
Definitions
{
i
...}
,
t
T
,
x
:
A
.
B
(
x
)
,
Lemmas
le
wf
origin
n:
. {n...} 
Type n:. {n...} Type Tx:A. B(x)